Fault Injection into VHDL Models: The MEFISTO Tool1
نویسندگان
چکیده
This paper focuses on the integration of the fault injection methodology within the design process of fault-tolerant systems. Due to its wide spectrum of application and hierarchical features, VHDL has been selected as the simulation language to support such an integration. Suitable techniques for injecting faults into VHDL models are identified and depicted. Then, the main features of the MEFISTO environment aimed at supporting these techniques are described. Finally, some preliminary results obtained with MEFISTO are presented and analyzed.
منابع مشابه
Early Experimental Verification of Fault Tolerance: the VHDL-based Fault Injection Tool MEFISTO-L
Abstract: Early verification of the adequacy of fault tolerance mechanisms, and the subsequent removal of fault tolerance deficiency faults (ftd-faults), are essential tasks in the design process of dependable computer systems. The paper is centred on the description and application of the new features of MEFISTO-L, the fault injection tool for VHDL models, being developed at LAAS for supportin...
متن کاملVerification of Fault Tolerance by Means of Fault Injection into VHDL Simulation Models*
This paper describes and illustrates the application of a strategy for testing fault tolerance by means of fault injection. The proposed approach encompasses a method for modelling fault tolerance together with a strategy for testing several classes of fault tolerance mechanisms. The modelling approach distinguishes two main abstraction levels: (i) a data flow diagram of the general organisatio...
متن کاملVHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection
Testability analysis of VHDL sequential models is the main topic of this paper. We investigate the possibility to obtain information about the testability of a sequential VHDL description before its actual synthesis. The analysis is based on an implicit fault model that injects faults into a BDD based description extracted from the VHDL representation. Such an injection is related to the origin...
متن کاملFault Injection for Logic Synthesis Design using VHDL
Fault injection provides a method of assessing the dependability of a system under test. Traditionally fault injection is employed near the end of the design process after hardware and software prototypes have been developed. In order to eliminate costly re-designs near the end of the design process, a methodology for performing fault injection throughout the design process is described in this...
متن کاملValidation of Fault Tolerance by Fault Injection in Vhdl Simulation Models*
This paper addresses the problem of the validation of fault-tolerant systems. It presents the preliminary results of a collaborative research aimed at providing an integrated environment for applying fault injection into simulation models encompassing various levels of abstraction. The expected benefits of the approach are clearly identified in relation to other fault injection methods availabl...
متن کامل